perm filename CMSX10.360[360,GF]3 blob sn#866838 filedate 1988-12-16 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_MG#≠LεT  H∧"⊂⊃β↓¬(¬∃↓E ε∃↓E_π∀``λβT``⊂β∀@p⊂βT@p⊂βT@`_βT p βT p βT p βTp0βTp0βTp0βS`p8∧∪`p@βS`p@βS@pH∧∪@pPβS@pPβS#$h
∪#$`∞∪ppβSppβR`px∧∩`qβR`qβR@qλ∧∩@q⊂βR`Q αQ(D⊂∞H$"⊂Di!0%ε	!H%↓a H%↓a@8%↓aP8%↓aP8%↓a`0%↓a`0%↓aP8%↓aP8%↓a@8%↓a0@%↓a⊂H%ε	!0%ε	!P%↓a0H%↓aP@%↓a`8%↓ap8%↓ap8%↓ap8%↓ap8%↓ap8%↓ap8%↓a`8%↓aP@%↓a0P%εi!P%ε	1 "Qλ1`∂I∧0h¬∀b∃λ
TαdxSA 8β∪!⊂`↓S↓x↓∪qλRa∧XβR`tXβR@tPβR@tPβR@tPβR@tPβR@tPβR@tXβR`tXβRa∧`βD@∀`∧∧$h∧C 4p¬αdxTαeλ
∀b¬8¬⊃(D ⊂	∧"⊂Di!@%ε)!X%↓a0P%↓aPH%↓ap8%↓b8%↓b8%↓b⊂8%↓b⊂8%↓b 0%↓b 8%↓b 8%↓b 8%↓b 8%↓b 8%↓b 8%↓b 8%↓b 8%↓b 8%↓b 8%↓b 8%↓b 0%↓b⊂8%↓b⊂8%↓b⊂8%↓b8%↓ap@%↓a`@%↓a0P%εi!P%ε	1_"QλQH∞HD λ∩C∧P∩C∧PR@tPβR@tPβR@tPβR@tPβR@tP
RBdP∩BdP
R@tPβR@tPβR@tPβR@tPβR@tPβR@p⊂πRC∀PRC∀PRbt("⊃BqX⊃λ@⊃(%¬i!8%¬i!0%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%∧i! %¬	! %∧i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i0("Qλqh⊂	∧0h¬Tb%λ∀αtx∪A @β∪!⊂`α∪↓↓↓∪q⊂Ra∧XβR`tXβR@tPβR@tPβR@tPβR@pX¬R@pX¬R@pX¬R@pX¬R@pX¬R`ppβR`ppβR`ppβRahβSphβS↓`βS!⊂PβSA @βSc¬T"e_	∃a$("∩βr_⊃λ@⊂(	A) 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi 8λAi!x%πi!x%πi!x%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%A"0("Q	⊂8¬HD λαR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tXαQ(DP	E$2⊂εA*`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8%@! 8%@A@%A 0P%∧I!λ%∧)@h'BλT %GD"⊂⊃ A⊂β∩@aβR@`xβR@`pβR@`hβR@``βR@`XβR@`PβR@`HβR@`8∧∩@`0∧∩@`(∧∩@` ∧∩@`_∧∩@`⊂∧∩@`λ∧RB∀P	∩B4P¬@@dP¬`tP∧A tP∧↓`tPβB dPβα@tPβα`tPββtPββ dPββ tPββ@tPββ`tPβ∧dPβ∧tPβ∧ tXα∧`T("∪αaP⊃λ@⊂(%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i!(%¬I!0%¬I1 "Q	R@⊗λD λβEa∧P∧E!$P∧E!$P∧E!$P¬∧a4P¬∧a4Pβ Aλα@ dPβ Aλα@ dPβ Pxβ dPβ@@xα@@dPβ@@xα@@dPβ@Phβ@dPβ`@hα@`dPβ`PXβ`dPβ`PXβ`dPβ↓@XαAdPβ↓PHβ↓dPβ↓PHβ↓dPβ↓ P8β↓ dPβ↓ P8β↓ dPβ↓@@8αA@dPβ↓@P(β↓@dPβ↓@P(β↓@dPβ↓`P_β↓`dPβ↓`P_β↓`dPβαPλβαdPβαPλβαdPβαPλβαdPβα! Hβ∩@`H¬α dPβαAPβ∩@`P∧α@dPβαAPβ∩@`Xβα`dXαπ@D("∪Cr_⊃λ@⊂@λA	 PπAI PπAI Xπ↓I Xπ↓I `εAI 0AA@0%↓@⊂0ε↓I 0↓↓A00%↓@ 0¬AI 0↓AA 0%↓@00¬↓I 0α↓A⊂0%↓@@0∧AI 0αAA0%↓@P0∧↓I 0β↓@p0%↓@p(βAI 0βA@`0%↓A0αAI 0∧↓@P0%↓A⊂0α↓I 0∧A@@0%↓A 0↓AI 0¬↓@00%↓A00↓↓I 0¬A@ 0%↓A@0AI 0ε↓@⊂0%↓AP`%↓A`X%↓A`X%↓ApP%↓ApP%Aα⊂@"Q	rλ∩	∧0`∧Tauλ	Sbtp∧Aa∀h∧αa∧hβC t`βC`t`βC`tXβD tXβD tXβD tXβ∧`dPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tPβD`tXβD tXβD tXβD t`βC`t`βC`thβC th∧αa∧p∧Aa∀xT"5⊂λUA∀("∀β1x⊃λ@⊃⊂%¬I!@%ε) 8¬α	 8ε↓i 8εAI 8εAi 8εAi 8εAi 8εAi 8εAi 8εAi 8εAi 8εAI 8ε↓i 8¬α	!H%ε	!0%∧i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%A(T (H$B@⊃C↓∃_πT"4xSA⊂8∧S!X∧∪ phβSpxβSpxβR`qλβR`qλβR`qλβR`a_β∩@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR@q_βR`qλβR`p0β↓ tXβA@p βSp0β@@t`βAAλβS p0π∪!(π∪A⊂ ε∪buλ	TB50λ↔A¬x∧_↓ε∧⊃(E⊂
Gd"⊂DI!0%ε	!H%↓a H%↓a@8%↓aP8%↓aP8%↓aP8%↓aP8%↓aP8%↓aP8%↓aP8%↓a@8%↓a H%ε)!@%¬I!_%↓``8%↓``8%↓`p8%↓a0%↓a8%↓a⊂0%↓a⊂8%↓a 0%↓a 8%↓a08%↓a08%↓a@8%↓a@8%↓aP8%↓aP8%A!p0"Q
1@
	∧0@∧T↓dp	∪"4`
∪p8αS`P↓R```↓∩``hR`dXβ∩`dXβS↓∧`¬S!dhλ∪B∧xλ∀!u_π⊗↓∃PβV`u`β↔dXDdX↓β`dX↓C@dXαβ dPβα`dP∧A`tP∩bTh	∪ae⊂∧Q(E ⊂λD"⊂GI"%λ	"%GJp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8+Ajp8,↓(T *G$∩_⊃ QλαR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβR@pxβRAh∧∩`phβR`phβSpXβS!8∧∪BTx	Tα∃_¬Q(E0⊃λd"⊂ABP(%αα08%Ab 8%Ab 8%Bα⊂8&↓b8&↓b8&α↓`@&Aa`8&Aa`8&B↓@@'↓a@8'↓a@8'Aa 8'Aa 8'Aa 8(↓a8(↓a8(αp8(A``8(A``8(BP8)↓`@8)↓`@8)↓`@8)A` 8)A` 8*↓@ 0*↓`⊂0*βJP`*C
P`+αJp@"Q
sλ→λD λαβa⊂xα∩@`h¬β@dPββ!0hβ∩```¬CdXββ↓0`β∩``Xβ P`β∩``Xβ `Xβ∪`Pβ `Pβ∪`Pα@@`Pβ∪`Hβ`PPβ∪`Hβ``Hβ∪ `@β``@β∪ `@αA`@β∪ `8β↓ P@β∪ `8β↓ `8β∪@`0β↓ `0β∪@`0αA@`0β∪@`(β↓`P0β∪@`(β↓``(β∪`` β↓``(αS`` αB` β∪`` αB P β∪``_βα `_β∀P_βα `_αT`⊂αB@`⊂β∀`⊂αB`P⊂β∀`⊂αB`P⊂β∀ Pλβα``λαT PλαC`λαT!0h¬T!0h¬TA h¬∀A⊂p¬∀A⊂x∧T`qλβQ(E@⊂λD"⊂Aap8%B↓P@%B!0@&α↓ @&B↓⊂@'αp@'α P@'BP@(α0@(B⊂@(D
 x)C*@X*αjPH+↓jPH*αj@`)C* x)↓`⊂@(A`0@(α@8'BP@'A`p@'α↓@&B↓⊂@&B↓ @&α↓@@%B↓PH%B↓`@%αα@%↓b 8"Q∩⊂⊃HD λβ¬dP∧D!∧X∧∧↓∧`∧βA∀`∧C!∧h∧β↓∧p∧αA∀p∧B!∧x∧α↓¬∧↓A∃λ∧↓!¬λ∧↓↓¬⊂∧a¬_β@A¬_∧ u πU!U0¬UA58∧Vu@βVu@βVu@βVu@βVu@βVu@βVu@βV T("⊗C!h⊃λ@!8%F)1H%F)A@-B08-α⊂@,Ak@+B
p8+↓jP@*Aj@8)B
08)↓j⊂@(Aj8'B	`@'↓iP@&α	@8%B	!H%εI!P%εI1@"Q⊃ ¬B`0∧S!d`λ∪α∀`α↓A∧`↓α t`B@u8βU`u⊂ε∪ath∧@tXβA tXβA tPβA@tPβA@tPβA@tPβA!∧P∧a∀X¬@ tX¬@ t`∧`tpα↓@T("_BaH⊃λ@⊂(%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8α↓I 8↓αI! %¬	 @αB	 8βAi 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓I 8βAi @αB	! %∧i 8BI0(α↓HT 1DbQ0↓a∧xεS"∧`λSp0α∩`p@↓∩``PR@tPβR@tPβR@tPβR@tPβR@tXβB@∀XβB $`βA T`λS"∧xεT!∧("→αa@⊃λB(,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Aj0↓Ai`PAiQ_&¬	0@αB	08βAi00∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i00∧↓i08βAi0@αα)A &B`⊂8'α  8(↓ P("QQ ¬B`8βSa4pεS!t`βAdXβA dXβ↓`dPβA`dPβA`dPβA`dP
∩BDP	R@tPβR@tXββ∀XβB 4`βA@ThλSB∧xεT!∀("→B⊃⊂⊃λAH(αip`'β)`8αIP8&AiP8&AiP8&AiP8%C	 p%βI0`&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8'↓(T 3Fβ∩λ↓A⊂(↓SAPλβ∪"T`λ@`$`β@`tXβA tXβA tXβA tXβA tXβA tXβA t`β@`t`λS!thπ∪  λ∧S4`α∪α∧`	S"4h
∪αTXR@`XβR@PpαR@PpαR@PpαR@``β∩`p@βRbd`
∪B¬ε⊃(F@
F∧"⊂A) 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓`@8%↓`0H%↓` X%↓`⊂h%α @@%α`8%α`8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%A!⊂("Q
⊂8∧Hd0λαR@tPβR@tPβR@tPβ⊃``λαR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tXαQ(FPπαeR_∧↓*⊂8(Aj⊂8(Aj⊂8)↓(p0∧↓*⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Ai0λαAi h%β) `%BI`0"Q
1_HD λα∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ↓`TPβ↓@dPβ↓ dPβ↓dPβ`dPβ@dPβ dPε∩A4P¬RADPε∩ATPπ∩@`λβR@`⊂βR@`_βR@`_βR@` βR@` βR@`(βR@`0β∩`@8β⊃(F`βB$"⊂A) 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%A(T 6I%↓0 P0βα dPβ@a (¬∩@p⊂εaDPβ@!`λπ∩A  ¬A↓∧P∧↓a8βRA8∧↓`tPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR`PPαB@T("≠BQ@¬@⊂(αAi 8↓B) 8↓αi 8C) Hαα	 @β↓i @β↓i 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi0(∧A(T 7EC↓0↓a∧xε∪"∧`	∪p βR`p0βR``@β∩@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR``@β∩`p0βRa ∧∪α$hλ∪Aeλ∧⊃(Gε$↓0A P0%↓` P%¬	! %αP@%↓`p8%↓`p@%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓`p8%↓`p8%α@H%¬	!_%↓`⊂P%↓`00%↓i 8%↓i 8%↓i 8%↓i 8%↓i0("Q∞⊃0λα`0β↓Tp∧@@th¬@ t`
∩a⊂ ∧∩`p8βR`p8βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR`p8βR`p8βRa ∧SαDh¬@ tp∧@@uβ`uHβV uHβV uHβV uHβV uHβV@T("≤Aaλ¬@⊂(α@i 8↓A	 8↓↓) 8AI p%αi H%α	 @%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i0("Q∞1λ	EB` ∧∪!DXπRatPαA@TPαB$PαB ∀Pβ∩A$Xε∩aT`εS!Txε∀a∧XB@TX↓α TX↓BTPβ↓ dPλ∩At`ε∪A∧("≥α⊃⊂∞π@(&AiP8&AiP8&Ai0p%∧	!%CIP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&A`Pλ&B0⊂'β)`h'BJ0"Q∞Q(¬B`λαB TPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβA`tPβAA∧PβAA∧PβA!∀Xε t`¬@tpβ↓ T("≥Ba8¬@⊂ ε↓	 0¬↓I00∧↓I00∧↓I00∧↓I08βAI@0β↓I@0β↓I@0β↓IP0α↓IP0α↓IP0α↓I`0↓↓I`0↓↓I`0↓↓I`8AIp`'C	p`(αJP(αJ⊂@"Q∞r⊂⊃EB`λαα PPα∩@`8βBdPβ↓a8β∩``0∧↓@dXβ↓A0β∩``(∧A@dXβ↓! (β∪` α P β∪` α P β∪`_α@P β∪`_α@`_β∪ `⊂α@`⊂β∪ `⊂α`P⊂β∪ `⊂α`P⊂β∪ `λα↓`λβ∪@Pλα↓↓Dp¬↓↓Dp¬↓!4p∧AA4x∧↓A$x∧↓A$x∧↓a∃βα t("≡αa8¬@⊂(∧AI00βAi08β↓I@8α↓IP0↓Ai`0Aip`'BjP(B
 0)↓J⊂@(α*P'A ⊂0'↓@ 0&A@@0&↓`@0&↓@`0%AA0%↓a8%A! ("Q∂⊃(Hα`αB`DPβα dPβα TPβA`dXβ↓`dXβ↓`T`β↓ d`β↓ d`βAThβ`dhβ`dpβ@dpβ@Txα@@Txα@@Txα@ U¬∀↓%λ∧∀!¬⊂βT@e⊂β∀`U⊂αT@U⊂αT TP↓↓dP¬RA$P∧R@t("≡BA0¬@⊃⊂%¬	! %Dj`8*Aj@8*↓j08)↓j⊂8(α
8'Ai`8&AiP8&↓i08%∧i! %¬	1⊂"Q↓0
λD λ
∩BdP∩BdP
R@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tXαQ(@λ∪JD"⊂πB+X,αjph+C*`x+↓`⊂8*B⊂@*A` @*α0@*↓`@@*↓`P8)A``@)A`p8)↓a@)↓a⊂8(B↓⊂@(Aa @(Aa08(↓a@@(↓aP8'Aa`@'Aap8'α↓p@'↓b@&Bα⊂@&Ab @&Ab08&↓b@@&λi2(%I)"8%	i"8"Q" ∪I∧0h¬∀b%λ∀β∧x∧B↓∀p∧β↓∧h∧βA∧`∧∧↓∧`βD@tXβEtXβEtXβEtXβEtPβE@tPβE@tPβA!@(βR@p π↓tPβA↓` βR@p π↓tPβA↓` βR@p π↓tPβA!@(βR@q0βR@q0βR`a0β∩`q βR`q βR`q βSq⊂βS↓↓∧∪ qβSA`∧∪a⊂@∧Tβ¬λ∀b%8¬⊃(@_∞πD"⊂¬α
0P)BJ `)β
 `)↓ ⊂0(A@⊂8(A@ 0(A@ 0(↓` 8(↓` 8(↓@08(↓@08'A`@8'A`@8'A@P8'↓`P@'↓``8'↓``8'↓@p8&A`p@&Aa8&Aa8&↓a⊂@&↓a 8&↓a 8&↓A08%Aa0@%Aa@8%Aa@8%AAP8%↓a`8%↓a`8%↓B0"QB⊃λD ⊂∞∩cdX∂∩cdX∂∪βD8∧↓"dp∪C∧p∪C∧x⊃a⊂λ∂∩D∧P⊂∩D∧P⊂∩cd("↓#r_⊃λ@⊃h%πi!x%πi!x%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%↓b⊂8%A"0("Qbλ∩λD λ∂RD∀P⊂RD∀X∂S↓∧`∧S!∀p∧Sa∃∧∀!¬λ∧TA∃_∧U↓∃(∧∃A¬(∧∃↓∃_∧Ta¬⊂∧∀!∃∧Sa∀x∧∪A∧h∧S↓∀`∂∩d∧P⊂RD∀X∂Q(@8∩	d2_βAA 0'α`pP&C P`&β@@p%D0x%α 0(↓↓@ H%↓``(A P8%↓`p A`8%↓`pHβ↓i0(∧α p(,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak ("Q↓αλ∩λD pαU`u8βU`u8βU↓Uλ	SbtpS!⊂λβ@!∀`∧`p_∧∩a βA↓∧XβA p(βR``0βA@dPβA@p0βR@p0βA@tPβA@p0βR@p0βA@tPβA@p0βR@p0βA@tPβA@p0βR``0βA@dXβA p(βRa βA↓∧`∧`p_∧∪!⊂λβ@!∀pSbuλ	U↓U8βU`u8βU`u@αQ(@H∩	d"⊂λ↓+⊂8,Ak⊂8%AA8βAI @βA``@%α `8αB)0@β↓`P@&αP8αα	P8αA`@8&A`P8α↓iP8αA`@8&A`P8α↓iP8αA`@8&A`P8α↓iP8αA`@8&A`P8α↓iP8αA`@8&A`P8α↓iP8αA`@8'↓`@8↓Ai`8α↓`08'α08↓Aip8↓A` 8(↓` 8B
⊃8)¬*1_*∧
pP,Ak⊂8,Ak⊂8-↓(T ¬λdR_⊃BaU⊂	TαtxSA⊂H∧S!h∧∪↓x∧∪qλβSqλβR`q_βR`q_βR`q_βR`q_βR`q_βR`q_βR`q_βSqλβSqλβSqλβS pxβS@`xβ∪@phβS``hβ∀`Xβ∀ PXαT `Hβ∀@PHαT`P8αT`P8αU@8α∃P(αRa`(π∩Ap(πRAp(πRAp(πRaP8εQ(Cε∧B_∧↓Ip`'βIQ&↓`@8&↓@`0%A``8%AA0%AA0%AA0%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%AA0%AA0%A``8%A``8&↓@`0&↓`@8&D	`p'C
 0"Qε⊃⊂λd0H↓T@UβRaDPεRATPεR`⊂ βTuβTuβTuβTuβTuβTuβTuβTuβTuβTuβTuβTuβS↓tXλRb∀`πQ(C⊂
Ed2_βAipX&CIA%DI00αAi 0βAi (∧↓i0 ∧Ai@_∧Ai@⊂¬↓iPλ¬↓k8,↓k8+Ajp8+↓j`0*AjP0*↓J00)↓J ((A*('A)`('↓)P(&∧I1 %E	1 &∧HT →ECα ⊃Aa∧xε∪Adhλ∪` βR`P8βS0@βS HβS ⊂HβU`u8βU`e0βU@e(βT!%λ∧T!5λε∃`u@βV eHβV uHβV uHβV tXC tX↓βtXαα tPβAA∧P
∩b$`λ∪AUλ∧⊃(C ε∧"⊂¬↓j@@)B*0H)αJ _AJ⊂ AJ⊂ AJ(AJ ↓↓Ip(↓↓Ip(↓↓I`(↓AI`(↓AIP0↓AIP(α↓IP(α↓I@(αAI@(αAI0(β↓I0(β↓I 0β↓I!(%¬I!0%¬I1 +↓J`0+↓J`0+↓J`0+↓Jp "QεQ(Hd _πSα∀`λSα∀`λ∪t`βSt`βSt`βSt`εS↓t`λ∪α∀`∧`t`β↓@d`β↓@dhα↓`u@βVu@βVu@βVt`B`t`B`tX↓B@dXααtPβA!∧X	∪α∧hπ∪AEβQ(C0ε∧B_¬↓j⊂X(β	ph'↓``λ&Ai@8&↓I08%Ai00%AI 8↓Ai 8↓αI 8Bi! %α P8%αp0%αp8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%AA8%AA8%AA8%A`p0&↓@`8&↓`@@&D)`x'C*X)↓hT ≠ECα⊂⊃"DP∩BdP∩bEHβ⊗e8β∃`e0β∃ u(β∃u β∀`u_β∀@u⊂βT uλβT uβTuβTuβS`txβS`txβS`txβS`txβTT("∞αa@∩λ`p@'C	Q&D	@8α↓i@0β↓I08β↓i08β↓i08β↓i08β↓i08β↓i08β↓i08β↓i@0β↓I@8α↓iQ'βI`p&D	@8α↓i08β↓i00∧↓I 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i08β↓i0@αα	A⊂&∧IQ'βJ⊂@"Qπ⊃0	∧08βSa4pπ∪"∧`βAdXβA@dXβ↓`dXβαdPβBdPβBdPβBtPβBtPβBtPβBtPβBtPβBtPβBtPβBtXβ↓a∧Xβ↓a∧XβA!∀`
∪!0λβSA⊂⊂βS`p_βV eHβ⊗u@βVdpBtp↓↓!∧hπS!d`π∪!DxβQ(B 
Edr ¬J0 (B	p`'βiQλ&∧I@XAI08A0_%A@  α@)00↓↓	00↓↓	00↓↓	08A	0`&αi@h&CIPx'βjh)β
0X)A⊂8)A⊂8)A 0)A 0%@ p ↓↓I0⊂β↓ 0%@`P ↓↓I (α↓⊂0%α⊂X%¬	1⊂&∧	`h(B
0 )A
@⊂"Q∧b_∩I∧0`β∃↓∃_¬TAUλβ`eλβ`uβ↓ eβ↓ eβ↓ eβ↓ eβ↓ eβ↓eβ↓Uβ`eβ@ `@↓∀!@HαT! Pβ∀!⊂XαT!`αT p`β∪a XαSA@Hβ∪!PHαS`⊂βA`dXβ@A0αR@p βA dPβA p_β∩@p0β@ dPβAaDPβAaDP∧↓a HRa(ε↓@4X⊃∪∧∀h⊂∪aP εT pP∧Q(Cx	ED"⊂ααI@p%∧)!⊂%A`8%@A⊂8+↓j`8+↓j`8*Aj@@)B
 @)↓J⊂8(AJ0(↓J0(↓J0(↓J0#A`('Aip8'Aip8'Aj("Qπa_λC0αS`txβS`txβS`uαQ`@0β∀eβ∪`dxβ∪`dxβ∪`Tpβ∪@dhβ∪tXβRA∧PβR@tPβR@tPβB4PβA dX	∪α∀hπ∪a∀("∧pH¬@⊂(%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i0("Qα⊂p¬Hα`@αT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβR`⊂(βRaDPεRADX¬∪@d("ε"aH⊃λ@`H&CiAλ%Di08αAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAI 8β↓i 8↓B) 8↓B	 8↓B	 8↓B) 8αB	 8βAI 8βAi 8βAi 8∧↓I 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8βAi 8ααI 8αα) 8↓B)0(α↓hT 
λdQ0↓A (∧∪A`λε∪βd`∂S@8¬↓t`↓B!0β∪⊂X∧↓@u@βBe@βBe@βBe@
TC4p∂∪α4X∧AtPβAa∧PβBp`R@p@βB@4P∧↓!00αRd$`⊂S!P_π∪A⊂H∧⊃(AX∪
αa0∧α↓@'C@0`'∧⊂p&H)@8βα`@8%AaHβ↓I00¬α`8%↓a 8∧↓I 8¬↓a0%↓a 8∧↓I 8¬¬) 8¬¬) 8¬¬	 8¬↓i 8¬↓i 8¬α	08∧α!@λ%AaH¬i@8ββ`(&HiaD)pp↓CJ @∧BλT ∞¬Cα ∞D@%Xα⊗`EPαV@EHαV Eλε∪aThλ∪α$`β↓↓∧Xβ↓!∀Xβ↓↓$Pβ↓ @λβ∩@` α@ dPβ↓@⊂β∩@`_α@@dPβ`@_β∩@`⊂α@`dPβ@@ β∩@`λαAdPβ @(β∩a  β∩a⊂(β∩a⊂ βSα$hλ∪Adhε∪ D`αSDXαR`DXα∪$("π%"`⊃λAQX+π*ah+π*Qh*A` 8*↓`08*↓`08*↓`08)A`@8)A`@8)A`@8)↓`P8)↓`P8(A`a⊂(A`a_(A`a_(↓`q_(↓`q⊂'Bp8'Aa8'EIa8'¬ia8&Aa 8&Aa 8&↓a08&↓a08&↓a08C)08ε¬I08ε¬I @ε¬I 8εEI0(πEλT ∂&" ⊃C!%_∪∀%∃∃∪a⊂@
∪AX∪!`∧∪↓pβSpxβR`qβR`qβR`qβR`aλβR@qλβR@qλβR@qλ
R@qλ∩@qλ∩@qλ∩@qλ
R@qλβR@qλβR@qλβR@qλβR`qβR`qβR`qβRaxβSpxβS↓pβS!`∧Atp∧αc$x∧Bβ5∃T%%_∪UA4("πdB8∃	C@⊂2A@(+B@0 )E*⊃0(ε	pH∧α)`8εα)P8εαi@8εA⊂8&↓AP(↓↓I08εA08%AAP(α↓I00εAP0%A!P(β↓) 0εAp0%↓A@(βAI 0¬A!0%↓A0 ∧AI 0¬↓!⊂0%↓A  ¬↓I 0∧A! 0%↓A⊂ ¬AI 0∧↓!00%↓@p(ε↓I 0βA↓P0%A `(εA)00αA↓P0%A@@(εAI00α↓↓`0&↓@ (εAI@8A↓P8&Ba@8'α!@8'B!H(ε
⊃0(¬* ↓BIp('A
⊂"Q∧⊂8ελD βR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@t8α TPβR@tPβR@tPβR`T("∂p`⊃ε⊂(%↓i 8%↓i 8%↓i0(#A8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓hT ⊃Ie"`⊃∧@0@↓V`P0αV`P0αV`P0αV@`(β⊗@P0αV@P0αV@P0αV@P0αV `(β⊗ P0αV P0αV P0αV P0αRdTP∪RDtP∪RdU0αA@U0αA@U0αA@U(β↓ e(αA@U(αA@U(αA@TX∩RDtP∪RDtX∩T@P0αT@P0αT@P0αT@P0αT `(β∀ P0αT P0αT P0αT P0αT`(β∀P0αTP0αTP0αT 0@↓Q(B(⊗dr αAb`_&Bb0(&β"⊂0&β"⊂0%A@00πAI0(α↓A`0%↓@P0ε↓I 0αAA@0%↓@P0¬AI 0αAA 0%↓@P0∧AI 0αAA⊂0%↓@P0∧↓I 0αA@p0%A @0βAI00↓A@`8&β p0&β `0&B``0'A`p0βAkP0βα+@0αC+00ββ+ 0β↓@00,A``(α↓K⊂0β↓@P0,↓@p0αAJp0∧↓@P0+↓A⊂0αAJ`0∧A@P0*AA 0αAJ@0¬A@P0)AA@0αAJ00ε↓@P0)↓A`(α↓J⊂0πA@00(↓B⊂h(↓B⊂h(↓"@H(@b`8"Q∧p8¬Bd βR@tPβR@tPβR@tPβSD`α∩`DX↓R@D("
↓aλ_	↓  )A
  (A*('AIp('↓I`(&AIP0&↓I@0&↓I08%Ai00%AI 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%AI00%Ai08&↓I@0&↓IP0&AI`('↓Ip('AJ((A*  )A
@ "Q¬⊂pλL∧@α∩`D`α∪ThαS dpαS@dxαS`dxβ∀eβ∀eβTuλβ∀ eλβT uλβT uλβT uλβT uλβT uλβT uλβT eλβ∀uβTeβ∀dxβ∪`dxαS@dpαS dhαST`α∩`DPα⊃(BP
¬bb ∧↓
  )↓*  & P α@)  α↓@ %↓ 0 ↓A) 0↓@@00%↓` ⊂↓↓iA'BJ  'BIA%↓` ⊂↓↓i 0↓@@00%↓ 0 ↓A)  α↓@ & P α@*  )↓*  )↓λT ∃I∧r ∂∧ 5PαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαRd$P∩∩DDP∩∩d%PαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαV`4("pX¬A@8%↓i 8%↓i 8%↓i 8&↓	@ %A	0_%↓λT ↔↓a00βtPβR@tPβR@tPβR@t("bA8_	α_,A+⊂(,↓K(,↓*p0+A*p(+↓J`(+↓*P0*A*P(*↓J@(*↓*00)A*0()↓J ()↓*⊂0(A*⊂((↓J((↓)p0'A)p('↓I`('↓)P0&A)P(&↓I@(&↓)00%A)0(%↓I (%↓)0_"Qπ 8¬EB`βR@tPβR@tPβR@tPβQa⊂βR@tPβR@tPβR@tPβQ(CXβBc10↓i 8%↓i 8%↓i 8%↓hpH↓i 8%↓i 8%↓i 8%↓i@ &↓	0 %@i  "QπR ∪Dα@λ⊃∩DDP∩∩DDX⊃⊃`pλ⊃∩DDP∩∩DDX⊃⊃(D∂λ$"⊂εαJ1(Dj↓('B `@'↓a00&A``h&↓`A&↓@Aλ%A@A_%A@@0αB	00↓A@p8%↓@@0βAi 0↓AA⊂0%↓@00∧AI 0↓AA⊂0%↓@00∧AI 0↓AA⊂0%↓@00∧AI 0↓AA⊂0%↓@00∧AI 0↓AA⊂0%↓@@0βAI00↓A@p0%A@@0αAI00α∧)@0αβi@8αβ)P8β↓i`8'B!⊂8(¬j⊃ )D
`P"Q0`πL∧@λ¬∩ADPε∩A4PβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR@tPβRA4Pε∩ADX¬⊃(Ehεβ&α BI `%β	0X'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Ai0X%β	 `%BHT 0↓a0X⊃`Dh↓SDXα∩`DPβR@tPβR@tPβR@tPβQ(A⊂¬Dr⊂↓i08&↓IP0'↓)p((↓
⊂ "Qα0X
Ad  βS thβ∪d`αR`TXα∩@D("¬α↓(βH ∧↓	0 β↓	0(α↓)@(↓↓)PP'α	`@'AHT 
DB`0⊃  `↓∩@@Pα∩B$P	∩b∧`π∪A$("¬B!0αλ↓⊂%∧I!⊂%∧I!⊂"QαppAd _∧∩aDPπ∩@@0α∩@@0α∩AdXε∪!∧(!@?␈␈x␈@βπ␈␈␈x{␈␈␈x}↓ Dpα∪ T`αR`dPβ⊃(B
∧Q πA
 `&∧I1⊂%∧	0@"Qa
Ad (β∪A∧p∧∪!$`α@@TXαATXα↓@DPααD("↔aXβλ`⊂0%α	 @%α	 @%Ai@("Q∂Q
Ad β@@tPβ@@tPβ`dPβ`dPαATPαATPα↓ DPα↓ D("∨B↓(βλ@0 αA	@0α↓	0H↓↓	0p%↓ H%↓@0%↓P "Q∂q
AD0λαATPβ@@tPβ@@tPβ@@tPβ@@tPβ@@tXαAT("αdαλ⊃λA⊂HαB*`↓β	phC)a`'↓`PHα@IP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAi0h↓Bi x↓β	 x↓β	0h↓BiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAiP8βAi`(∧A(T εεβ∩_⊃D e⊂β@!¬∧@!∧x¬!∧p¬@!∧pβ` λ∧∪ p @@dhβS thβS thβS tXεATPπ@@tPπ@@tXε@`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`thβA`tpαB T("β#↓H⊃λA8↓A*H↓↓ipP↓↓i`X↓↓i`0↓@@ 8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8%C 08%β` 8%β` 8%C 08&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8'↓!⊂("Q↓b8∀λd2β∀A⊂0β@!¬¬A↓⊂λ∧∪a@_¬!∧pε@A0λ∧∪@p ↓@`_↓!∧hβBp @@dhβBthβBthβBthβBthβBthβBtXεA↓0 αRAp_ε@tPπ@a@⊂βRaP ¬@`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`tpαB@PHαQ(@x∪J∧"⊂∧α `8↓A*Xαα  8'C0P↓↓i`h↓α` 8'↓`@⊂↓↓@0⊂↓↓iP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8%C @X↓Ai x↓C 8%β`0`↓↓i0hαα`08&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8&Aa8βAiP8∧↓`p8'↓! (∧A(T ⊃∧bPX⊃p(βR@p(βR@p(βR@p(βR@p(βR@p(βR@p(βS@@α∪@@α∩`@@α∩`0H↓R@@@α⊃(BhεC@0hBi h%β)0X"QA_Bd _ααDh↓B 4`ααDXααDXααDPβA tPβA tPβA tPβA tPβA tPβA tPβA t("≡c!P↓C`⊃@%εI!P%FλT >
F`_π@&DP≠∩FdX~⊃=qλ4YVp:~,fH2\D∧_&Tj4⊂,;bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0u∂@ε∀P(xZh∀@↓∨38↓∨38␈␈␈␈`β0␈␈␈␈ α0{βP∧R?¬J←0K@pU,(↑`⊂∃@↓[0↓8∞⎇@2λαX↔α{0{↓∧P¬nxεπ←0αJ`[∧≠≡`0∀↓K0λ↓@z⎇@rXβ6εβ∀⊂{α¬ε-Bε6←0∧J`hX_
⊃↑`P∀↓K0λ↓Ps⎇A2αHD@¬T@{ββP∧X↔ ;?0εG H0.@↔~≡`p⊗↓d %αp}⎇Ar`βHDP¬⎇⊂{∧↓@α¬X0λ+O0λC@ Iz`⊂d>a⊂
@↓`hαXo=B1Xα→M¬?({¬β0∧3~↓O0
F`@f4⊗
}a0
@↓`hα`"=Br(αw<¬E({εββtP∞∂0GH¬X`⊂w≡aP∀↓K0λα⊂3⎇C2Xβ6ε∧,0{πβ0∧3~λf␈0∞K`x∪v⊃n≡ap~@α⊃`<α ≥⎇CrXβ6ε∧L@{λ↓Pα¬X0∩o0⊂D@(nx∩d>b⊂∞↓∞pyβW⎇D2pβU+∧ax{	β0∧3~πto0∩L`↓;Q ∪1↑b0∀@↓TH⎇α∀⎇Dpx↓≤9∧zλ{
αPβ6ε	x∂0∀E 0l∀
>bP
@↓`hα@I=E2Xβ6ε¬∞x{↓pα8r
(∂0⊗D@(nx_9↑bpπ@N_HαH/⎇EqXα→M¬↔ {β0∧3~εno0_F`@f4∞>c⊂
@↓`h↓`)=F1Xα→MβJx{
β0∧3~π"/0~F`@f4∞`>c0
@↓`h↓hq=FqXα→MβeX{∞β0∧3~πU∂0≤F`@f4∂J>cPπ@N_HαHn⎇G0x↓≤9¬ ⊂{∂α αw<	;∂0≡J`hX_∃>cp
↓∧xTαλλ⎇GqPα	z@∧0{⊂∧P¬nx
Io0 I X]pλ}d⊂∩@↓;X`Q=H2_αgi@⊃h{⊃¬ε-B/o0"HP"∩↓>d0∂↓≤8⊂⊂(=Hr(αw<)h{∩¬ε-Bb∂0$D($⎇@↓f>dP
↓∧xT_s=I20βπ∞@CX{∪βP∧R?↓→∂0&L xR@αE>dp∀↓K0λ0ε=Ir@β⊗alh{∀∧0¬OS↓k∂0(J`[∧βo}e⊂⊃@↓3pL@-=J1pα8r↓
h{∃∧P¬nxα(/0*I@`≤:∧c}e0∩@↓;X`P∂=Js ∧∪u↓*({⊗∧P¬nxαt/0,I X]pεπ>eP⊂@↓,λ8`D=K1λ↓/RP¬.h{↔β@∧;↑ ≡←0.D (>J@∃U↑ep
@↓`hα`T⎇Kpx↓≤9¬L@{_↓pα8r
w␈00F@@3~@ε5>f⊂∞↓∂P)@h∀=L1@↓z(↓YX{→β@∧>J0β;O02F @⊗a@π∀>f0λ@V\pL=LqXα→M↓n8{~β@∧>J0βjo04C 0`πt>fPπI_u@↓=M1Pα∂RXαπλ{≠↓@α¬X0∧≠o06K@hnx`λJ}fp∞↓∂P)@↓λ↑=MqXα→Mα!x{≤β@∧>J0∧N/08G@⎇∀`	8>g⊂	@← Q↓_*=N1(↓Wr@α9λ{≥α@β≥o ∧zO0:G@⎇∀`
ε>g0@↓↓@↓ >=Nr(α⎇∀_αMλ{≡β⊂∧0¬,O0<F @`
m>gPyx&@↓0⊂=O1Xα→Mε∩`{∨εpλf4'?0>F`@f4⊗7>gp
@↓`hαhα=OqXα→M¬R(|@βλC`{⎇xow{⎇x